High-Performance Timing Simulation of Embedded Software by Schnerr, Bringmann, Viehl, and Rosenstiel In 45th Design Automation Conference (DAC), 2008.